1. Carnap, Rudolph
Author:
Library: Library of Islamic Encyclopedia Foundation (Tehran)
Subject: Physics - Philosophy,Semantics (Philosophy),Logic, Symbolic and Mathematical
2. Classical mathematical logic : the semantic foundations of logic
Author: Richard L. Epstein; with contributions by Leslaw W. Szczerba
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
QA
9
.
E67C56
3. Die Antinomien der Logik;semantische unter suchungen
Author: Kutschera
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Antinomy,Logic, symbolic and mathematical,Semantics (Philosophy)
Classification :
BC
135
.
K84
4. From signs to propositions: The concept of form in eighteenth-century semantic theory
Author: Land, Stephen K.
Library: Latin Specialized Library of Islamic Sciences and Culture Academy (Qom)
Subject: ، Semantics,Philosophy ، Language and languages,81th century - History ، Linguistics,، Logic, Symbolic and mathematical.,81th century ، Philosophy, Modern
Classification :
P
325
.
L3F7
5. Introduction to semantics
Author: by Rudolf Carnap
Library: Library and Document Center of the Faculty of Fine Arts (Tehran)
Subject: Logic, Symbolic and mathematical,Semantics
Classification :
BC
135
.
C316
6. Introduction to semantics :
Author: Rudolf Carnap.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logic, Symbolic and mathematical.,Semantics (Philosophy)
Classification :
BC135
.
C316
1959eb
7. Introduction to semantics and formalization of logic
Author: Carnap
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Semantics (Philosophy),Logic Symbolic and mathematical
Classification :
BC
135
.
C3
8. Kotarbinski:Logic,semantics and ontology
Author: / edited by Jan Wolenski
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Kotarbinski,Tadeuz,Logic,symbolic and mathematical,Semantics,Ontology
Classification :
199
.
438
K87
9. Logic: a brief course
Author: Mundici, Daniele
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Mathematics,، Computer science,، Semantics
Classification :
QA
9
.
M86
2012
10. Logic of Domains
Author: Guo-Qiang Zhang
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
11. Logic of domains
Author: Zhang, Guo-Qiang
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
Z47
1991
12. Logic, semantics, metamathematics
Author: Tarski, Alfred
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC
135
.
T35
13. Logic, semantics, metamathematics :
Author: by Alfred Tarski ; translated by J.H. Woodger.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Logic, Symbolic and mathematical.,Semantics (Philosophy),Logique symbolique et mathématique.,Sémantique (Philosophie),Formale Semantik,Formale Semantik.,Logic, Symbolic and mathematical.,Logica.,Mathematische Logik,Mathematische Logik.,Metamathematica.,Semantics (Philosophy),Semantiek.
Classification :
BC135
.
T35
1983
14. Logic, semantics, metamathematics :papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Library of Mofid University (Qom)
Subject: ، Logic, Symbolic and mathematical,، Semantics )Philosophy(
Classification :
BC135
.
T35
1983
15. Logic, semantics, metamathematics: papers from 1923 to 1938
Author: Tarski, Alfred.
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Logic, Symbolic and mathematical,Semantics )Philosophy(
Classification :
BC
135
.
T35
16. Logica: Metodo Breve
Author: by Daniele Mundici.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic, Symbolic and mathematical.,Mathematics.,Semantics.
17. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
Author: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
Classification :
Q
334
.
E985
1990
18. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: (Semnan)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
19. Logics of specification languages
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L65
2008
20. Logics of specification languages
Author: Dines Bjrner, Martin C. Henson, editors
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
7
.
L63
